Non-standard model of arithmetic